COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub[let,jmc]" source
C00004 ENDMK
C⊗;
.require "let.pub[let,jmc]" source;
∂AIL Professor Fred Abramson↓Department of Mathematics
↓University of Notre Dame↓Notre Dame, INDIANA 46556∞
.<<HOME 219-232-6378, OFFICE 219 283-7583>>

Dear Professor Abramson:

	Many thanks for your letter of September 11, which I
have discussed it with Jussi Ketonen.  There are two possibilities
and you might be interested in both.  One is to work with Jussi
on his new interactive theorem prover, and he can explain
to you what is involved in detail, but basically it is
programming inference procedures and proof-finding procedures
in Maclisp, which he suggests you learn in advance of coming.
The other is to work on formalizing common sense facts about
the world in logic, which is my main activity.

	At the moment I don't have the money to support you, but
there is a good chance that good news will arrive in January.  If
you can get the money from elsewhere, you are certainly welcome
to use our facilities to take part in our activities.

.reg

cc: Jussi Ketonen